a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/ConstraintMapBuilder.java,ConstraintMapBuilder,build,#Set#Set#AnnotatedTypeFactory#,51

In pattern: SUPERPATTERN

Frequency: 6

Non-data size: 3


Instances


1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/ConstraintMapBuilder.java,ConstraintMapBuilder,build,#Set#Set#AnnotatedTypeFactory#,51


1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/DefaultTypeArgumentInference.java,DefaultTypeArgumentInference,clampToLowerBound,#InferenceResult#List#AnnotatedTypeFactory#,419


1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/EqualitiesSolver.java,EqualitiesSolver,mergeConstraints,#TypeVariable#Equalities#InferenceResult#ConstraintMap#AnnotatedTypeFactory#,366


1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java,SupertypesSolver,mergeLubTypeWithEqualities,#TypeVariable#AnnotatedTypeMirror#ConstraintMap#AnnotatedTypeFactory#,89


1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java,SupertypesSolver,mergeLubAnnosWithEqualities,#TypeVariable#Map#ConstraintMap#AnnotatedTypeFactory#,144


1481144742
smillst@cs.washington.edu
typetools/checker-framework,a2a959df07fa2c6983d636cadab8d09e40beb474,framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java,SupertypesSolver,targetToTypeLubs,#Set#ConstraintMap#AnnotatedTypeFactory#,213